es{-}LnkTag{-}deq $\in$ EqDecider(:IdLnk $\times$ Id)